FIRST ORDER PREDICATE CALCULUS

[直译]
一阶谓词演算

[基本释义]
» 一阶谓词演算

[详尽释义]

1. 一阶谓词演算

FIRST ORDER PREDICATE CALCULUS是什么意思？以上就是FIRST ORDER PREDICATE CALCULUS的含义解释和发音。

[最近查询]

随机经典诗词赏析:
《简王温父昆仲》
作者: 金末元初 · 蔡圭

荷钿小小半溪香，槐幄阴阴一亩凉。
飞絮乱将春色晚，行云閒属暮山长。
求田已喜成三径，适意真堪寄一觞。
君是山阴换鹅手，可无杰句傲风光。